$\forall$$T$:(Id$\rightarrow$Type), $s$:EState($T$), $r$:rationals. $s$+$r$ $\in$ EState($T$)